Baresi, L. A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE International Conference on Fog Computing (ICFC) - Prague, Czech Republic (2019.6.24-2019.6.26)] 2019 IEEE International Conference on Fog Computing (ICFC) - Towards a Serverless Platform for Edge Computing

Baresi, Luciano, Filgueira Mendonca, Danilo

Year:

2019

Language:

english

File:

PDF, 1.36 MB

english, 2019

2

Multi-party business process compliance monitoring through IoT-enabled artifacts

Meroni, Giovanni, Baresi, Luciano, Montali, Marco, Plebani, Pierluigi

Journal:

Information Systems

Year:

2018

Language:

english

File:

PDF, 7.51 MB

english, 2018

3

Fully Numerical Methods for Continuing Families of Quasi-Periodic Invariant Tori in Astrodynamics

Baresi, Nicola, Olikara, Zubin P., Scheeres, Daniel J.

Journal:

The Journal of the Astronautical Sciences

Year:

2018

Language:

english

File:

PDF, 2.17 MB

english, 2018

4

Drag-perturbed bounded relative trajectories in low Earth orbit: A semi-analytical approach

Baresi, Nicola, Scheeres, Daniel J.

Journal:

Acta Astronautica

Year:

2018

Language:

english

File:

PDF, 2.82 MB

english, 2018

5

What Are We Missing When Testing Our Android Apps?

Rubinov, Konstantin, Baresi, Luciano

Journal:

Year:

2018

Language:

english

File:

PDF, 966 KB

english, 2018

6

Mission Analysis for the EM-1 CubeSats EQUULEUS and OMOTENASHI

Campagnola, Stefano, Hernando-Ayuso, Javier, Kakihara, Kota, Kawabata, Yosuke, Chikazawa, Takuya, Funase, Ryu, Ozaki, Naoya, Baresi, Nicola, Hashimoto, Tatsuaki, Kawakatsu, Yasuhiro, Ikenaga, Toshinor

Journal:

IEEE Aerospace and Electronic Systems Magazine

Year:

2019

Language:

english

File:

PDF, 3.29 MB

english, 2019

7

Style-based modeling and refinement of service-oriented architectures

Luciano Baresi, Reiko Heckel, Sebastian Thöne, D´aniel Varr´o

Journal:

Software & Systems Modeling

Year:

2006

Language:

english

File:

PDF, 954 KB

english, 2006

8

Improving UML with Petri nets

Luciano Baresi, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 160 KB

english, 2001

9

O05 Exome sequencing in three families with cytoplasmic body myopathy with early respiratory failure

G. Pfeffer, H. Griffin, H. Elliott, V. Straub, R. Baresi, B. Udd, P.F. Chinnery

Journal:

Neuromuscular Disorders

Year:

2012

Language:

english

File:

PDF, 56 KB

english, 2012

10

[IEEE Comput. Soc Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004) - Oslo, Norway (12-15 June 2004)] Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004) - Style-based refinement of dynamic software architectures

Baresi, L., Heckel, R., Thone, S., Varro, D.

Year:

2004

Language:

english

File:

PDF, 411 KB

english, 2004

11

[IEEE 2014 IEEE World Forum on Internet of Things (WF-IoT) - Seoul, Korea (South) (2014.03.6-2014.03.8)] 2014 IEEE World Forum on Internet of Things (WF-IoT) - Short paper: Harmonizing heterogeneous components in SeSaMe

Baresi, Luciano, Guinea, Sam, Shahzada, Adnan

Year:

2014

Language:

english

File:

PDF, 119 KB

english, 2014

12

[IEEE 2010 IEEE 8th European Conference on Web Services (ECOWS) - Ayia Napa, Cyprus (2010.12.1-2010.12.3)] 2010 Eighth IEEE European Conference on Web Services - Model-Driven Management of Services

Baresi, Luciano, Caporuscio, Mauro, Ghezzi, Carlo, Guinea, Sam

Year:

2010

Language:

english

File:

PDF, 517 KB

english, 2010

13

Building Software for the Internet of Things

Baresi, Luciano, Mottola, Luca, Dustdar, Schahram

Journal:

IEEE Internet Computing

Year:

2015

Language:

english

File:

PDF, 655 KB

english, 2015

14

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3922 ||

Baresi, Luciano, Heckel, Reiko

Year:

2006

Language:

english

File:

PDF, 6.31 MB

english, 2006

15

Bounded relative motion under zonal harmonics perturbations

Baresi, Nicola, Scheeres, Daniel J.

Journal:

Celestial Mechanics and Dynamical Astronomy

Year:

2017

Language:

english

File:

PDF, 2.41 MB

english, 2017

16

Numerical investigation of the dynamical environment of 65803 Didymos

Dell’Elce, L., Baresi, N., Naidu, S.P., Benner, L.A.M., Scheeres, D.J.

Journal:

Advances in Space Research

Year:

2017

Language:

english

File:

PDF, 6.58 MB

english, 2017

17

Design of Bounded Relative Trajectories in the Earth Zonal Problem

Baresi, Nicola, Scheeres, Daniel J.

Journal:

Journal of Guidance Control and Dynamics

Year:

2017

Language:

english

File:

PDF, 3.11 MB

english, 2017

18

Trends and Challenges for Software Engineering in the Mobile Domain

Baresi, Luciano, Griswold, William, Lewis, Grace A., Autili, Marco, Malavolta, Ivano, Julien, Christine

Journal:

Year:

2020

File:

PDF, 229 KB

2020

19

Evolution in dynamic software product lines

Quinton, ClÃ©ment, Vierhauser, Michael, Rabiser, Rick, Baresi, Luciano, GrÃ¼nbacher, Paul, Schuhmayer, Christian

Journal:

Journal of Software Evolution and Process

Year:

2020

File:

PDF, 4.75 MB

2020

20

An Introduction to Software Testing

Luciano Baresi, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 314 KB

english, 2006

21

An Efficient Solution for Model Checking Graph Transformation Systems

Luciano Baresi, Vahid Rafe, Adel T. Rahmani, Paola Spoletini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 326 KB

english, 2008

22

Software methodologies in VHDL code analysis

Cristiana Bolchini, Luciano Baresi

Journal:

Journal of Systems Architecture

Year:

1997

Language:

english

File:

PDF, 1.05 MB

english, 1997

23

PLCTOOLS: Graph Transformation Meets PLC Design

Luciano Baresi, Marco Mauri, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 56 KB

english, 2002

24

Preface: Volume 50, Issue 3

Luciano Baresi, Mauro Pezze, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 40 KB

english, 2001

25

Ano-rectal manometry as an evaluating test for impaired ano-rectal function in diabetes mellitus

Francesco Caviezel, Antonio Bossi, Alessandro Baresi, Angelo Salvini

Journal:

Acta Diabetologica

Year:

1986

Language:

english

File:

PDF, 729 KB

english, 1986

26

Isolation and characterization of Desulfovibrio senezii sp. nov., a halotolerant sulfate reducer from a solar saltern and phylogenetic confirmation of Desulfovibrio fructosovorans as a new species

I.-Hsien Tsu, C.-Y. Huang, J.-L. Garcia, Bharat K. C. Patel, Jean-Luc Cayol, Larry Baresi, Robert A. Mah

Journal:

Archives of Microbiology

Year:

1998

Language:

english

File:

PDF, 81 KB

english, 1998

27

Special issue on ubiquitous mobile information and collaboration systems (UMICS)

Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera

Journal:

Personal and Ubiquitous Computing

Year:

2005

Language:

english

File:

PDF, 109 KB

english, 2005

28

A framework for the deployment of adaptable web service compositions

Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea

Journal:

Service Oriented Computing and Applications

Year:

2007

Language:

english

File:

PDF, 699 KB

english, 2007

29

Toward Translating Design Constraints to Run-Time Assertions

Luciano Baresi, Michal Young

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 235 KB

english, 2005

30

Petri Nets as Semantic Domain for Diagram Notations

Luciano Baresi, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 276 KB

english, 2005

31

LEMMA: A Language for Easy Medical Models Analysis

Luciano Baresi, Fabrizio Consorti, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè

Journal:

Journal of Medical Systems

Year:

1997

Language:

english

File:

PDF, 1.80 MB

english, 1997

32

Validation of web service compositions

Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.

Journal:

Year:

2007

Language:

english

File:

PDF, 390 KB

english, 2007

33

Towards automated verification of layered graph transformation specifications

Rafe, V., Rahmani, A.T., Baresi, L., Spoletini, P.

Journal:

Year:

2009

Language:

english

File:

PDF, 1005 KB

english, 2009

34

Toward Open-World Software: Issue and Challenges

Baresi, L., Di Nitto, E., Ghezzi, C.

Journal:

Year:

2006

Language:

english

File:

PDF, 881 KB

english, 2006

35

Self-Supervising BPEL Processes

Baresi, L., Guinea, S.

Journal:

IEEE Transactions on Software Engineering

Year:

2011

Language:

english

File:

PDF, 1.52 MB

english, 2011

36

Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens

Baresi, L., Ghezzi, C., Mottola, L.

Journal:

IEEE Transactions on Software Engineering

Year:

2011

Language:

english

File:

PDF, 3.74 MB

english, 2011

37

[Lecture Notes in Computer Science] Service-Oriented Computing Volume 5900 || Measuring the Quality of Service Oriented Design

Baresi, Luciano, Chi, Chi-Hung, Suzuki, Jun

Year:

2009

Language:

english

File:

PDF, 316 KB

english, 2009

38

Analysis of unconventional approaches for the rapid detection of surface lectin binding ligands on human cell lines

Lily Anne Y. Welty, Eileen L. Heinrich, Karina Garcia, Lisa R. Banner, Michael L. Summers, Larry Baresi, Stan Metzenberg, Cathy Coyle-Thompson, Steven B. Oppenheimer

Journal:

Acta Histochemica

Year:

2006

Language:

english

File:

PDF, 268 KB

english, 2006

39

Rapid identification of gelatin and casein hydrolysis using TCA

Patricia Medina, Larry Baresi

Journal:

Journal of Microbiological Methods

Year:

2007

Language:

english

File:

PDF, 207 KB

english, 2007

40

Laminin-α2 but not -α1-mediated adhesion of human (Duchenne) and murine (mdx) dystrophic myotubes is seriously defective

Damiano Angoli, Paola Corona, Rita Baresi, Marina Mora, Enzo Wanke

Journal:

Year:

1997

Language:

english

File:

PDF, 494 KB

english, 1997

41

Comprehensive Monitoring of BPEL Processes

Baresi, L., Guinea, S., Nano, O., Spanoudakis, G.

Journal:

IEEE Internet Computing

Year:

2010

Language:

english

File:

PDF, 1.72 MB

english, 2010

42

Caldicellulosiruptor owensensis sp. nov., an anaerobic, extremely thermophilic, xylanolytic bacterium

Huang, C.-Y., Patel, B. K., Mah, R. A., Baresi, L.

Journal:

International Bulletin of Bacteriological Nomenclature and Taxonomy

Year:

1998

Language:

english

File:

PDF, 1020 KB

english, 1998

43

[Lecture Notes in Computer Science] Web Engineering Volume 4607 || Enriching Hypermedia Application Interfaces

Baresi, Luciano, Fraternali, Piero, Houben, Geert-Jan

Year:

2007

Language:

english

File:

PDF, 243 KB

english, 2007

44

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata

Zhou, Yu, Baresi, Luciano, Rossi, Matteo

Journal:

Journal of Computer Science and Technology

Year:

2013

Language:

english

File:

PDF, 784 KB

english, 2013

45

A grading model for stress urinary incontinence

A. Ferrari, L. Baresi, L. Frigerio, M. Costa

Journal:

Year:

1986

Language:

english

File:

PDF, 321 KB

english, 1986

46

A Service-Based Framework for Flexible Business Processes

Ardagna, D., Baresi, L., Comai, S., Comuzzi, M., Pernici, B.

Journal:

Year:

2011

Language:

english

File:

PDF, 1.76 MB

english, 2011

47

[Lecture Notes in Computer Science] Service-Oriented Computing Volume 5900 || Artifact-Centric Workflow Dominance

Baresi, Luciano, Chi, Chi-Hung, Suzuki, Jun

Year:

2009

Language:

english

File:

PDF, 232 KB

english, 2009

48

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - Adaptive Goals for Self-Adaptive Service Compositions

Baresi, Luciano, Pasquale, Liliana

Year:

2010

Language:

english

File:

PDF, 529 KB

english, 2010

49

[Lecture Notes in Computer Science] Service-Oriented Computing Volume 5900 || A Service-Oriented UML Profile with Formal Support

Baresi, Luciano, Chi, Chi-Hung, Suzuki, Jun

Year:

2009

Language:

english

File:

PDF, 405 KB

english, 2009

50

[Lecture Notes in Computer Science] Service-Oriented Computing Volume 5900 || Facilitating Workflow Interoperation Using Artifact-Centric Hubs

Baresi, Luciano, Chi, Chi-Hung, Suzuki, Jun

Year:

2009

Language:

english

File:

PDF, 771 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски